$\forall$$u$:$\mathbb{B}$. ($u$ $\vee_{b}$tt) = tt $\in$ $\mathbb{B}$